Excavation of artificial caverns inside asteroids by leveraging rotational self-energy

Future space ventures will likely require exploitation of near-Earth asteroid resources. Moreover, it can be envisaged that asteroids may host habitats in their interiors. In fact, a cavern inside an asteroid would be a natural radiation shield against cosmic radiation and may also serve as a confined environment for storage of mined material such as water ice or other processed volatiles such as propellants. To this end, this paper proposes to leverage the asteroid rotational self-energy to remove material from the asteroid interiors and create a spherical cavern, by means of the orbital siphon concept. The siphon is a chain of tether-connected payload masses (the asteroid material), which exploits the rotation of the asteroid for the delivery of mass from the asteroid to escape. Under certain conditions the siphon can be initiated to ensure self-sustained flow of mass from the asteroid to escape. A net orbital siphon effect is generated by connecting new payloads at the bottom of the chain while releasing the upper payloads. Key parameters are discussed, such as the required siphon dimension and the maximum size of the internal cavity that can be excavated, as a function of the asteroid rotational period. Moreover, assuming elastic material behaviour, a closed-form expression for the stress tensor is found and a failure criterion is used to identify regions in the asteroid interiors subjected to the larger stresses. It is shown that the conditions for failure are relaxed as the radius of the internal void increases.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

基于ProCAST的镁合金惯组支架砂型铸造工艺研究

为实现镁合金惯组支架的高效率、高质量研制,使用ProCAST软件仿真优化ZM5镁合金惯组支架铸造工艺。通过对充型、凝固过程进行分析,发现铸件内部的3条薄壁筋板易出现浇不足、冷隔缺陷,圆弧面内侧厚壁筋条易出现缩孔、缩松等缺陷。经过优化设计,通过采取增加薄壁筋板厚度、调整内浇道位置、改变厚壁筋板上侧冒口结构等措施,较好地避免了上述铸造缺陷的产生,获得了合格的支架铸件。数值模拟仿真技术可应用于绝大多数航天构件的铸造过程分析,实现构件快速研制。     

某航天器输氢管道系统结构完整性评估

为保障某航天器在服役年限内不发生事故，针对航天器上采用插入焊接技术的精密管道系统进行结构完整性评估。在考虑到系统存在整圈的环形未焊透缺陷基础上，结合工程实践，假设在焊接区域存在更危险的平面缺陷。首先，开展高压气相热充氢试验下的标准拉伸和三点弯试验得到管道系统材料"J-75"在临氢环境下应力应变曲线和断裂韧性。其次，采用有限元程序计算系统在内压、惯性载荷与离面位移作用下的应力分布，考虑到间隙配合中的不确定性，改变模型中的最大间隙多次模拟计算，发现最大应力位置基本不变，以此区域作为假想缺陷的具体萌生区域。最后，采用失效评估图（FAD）方法对存在4种缺陷模式的系统分别进行结构完整性评估。通过引入安全裕度的概念，发现系统在含有初始尺寸（0.15 mm）的4种平面缺陷时，均处于安全状态，并且安全裕度都在2倍以上；通过工程临界分析（ECA）发现随着缺陷尺寸的增大，系统中含有缺陷2（位于管道焊接区域最大应力处的轴对称平面且沿焊深方向扩展的缺陷）时最为危险，且当缺陷深度超过0.61 mm时将断裂失效；考虑到测试数据的弥散性，针对系统最危险的模式，以安全裕度为可靠性指标，将失效评估图方法与可靠性评价相结合，得到系统在含有尺寸为0.15 mm的缺陷2情况下保有足够安全裕度的可靠性下限值超过0.999 5。     

过氧化氢/紫外线/臭氧氧化技术处理肼类污水的应用

采用放大试验规模（处理量1 m³/h）的H₂O₂（过氧化氢）/UV（紫外线）/O₃（臭氧）氧化技术处理肼类推进剂污水，在30.0±1.6 ℃，pH=9.0±0.2的条件下，研究肼类的过氧化氢增强光解臭氧化降解。对比不同氧化技术的协同效应以及对污水降解的影响，重点考察过氧化氢、紫外线、臭氧和初始浓度等工艺参数对降解效果的影响，对氧化技术的应用进行了优化。研究结果表明：该技术可使COD去除率提高27.66%，肼类的降解速率随着过氧化氢投加量、紫外线辐射强度、O₃投加速率和水质地提高而升高，随着初始质量浓度的提高而下降。在最佳工艺下，处理5 000 mg/L质量浓度的废水，处理60 min时，COD去除率分别为98.62%（偏二甲肼）、99.17%（甲基肼）、99.94%（肼）和93.25%（单推-3）。     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成，研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口，有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口，将不同工具的数据集成抽象成统一的公共接口，从而采用统一的数据接口和规范实现不同工具的数据集成，有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例，以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体，基于工厂模式设计并实现了符合OSLC规范的数据集成系统，实现了不同工具间的数据集成，提供了一种通用的、可扩展的数据集成方式.     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

一种基于虚拟页地址映射的NAND Flash管理算法

本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构，以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法，实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法，能高效地对数据进行索引，占用SRAM空间较少，使系统达到高性能，并使得闪存使用的更加稳定持久.     

航电系统集成验证环境中的试验总控系统建设

针对国内军用航空修理行业系统级综合试验现状,根据航电集成验证环境中总控系统的特点和应具有的基本功能,结合视情维修需求及现代软硬件技术状态和成熟试验验证的手段,介绍了航电系统集成验证环境中总控系统的建设思路,给出了总控系统硬件及上位机测试软件的实现方案。该总控系统的应用将提升航电系统的修理验证能力。